Uncertain Logic Processing: logic-based inference and reasoning using Dempster–Shafer models
نویسندگان
چکیده
منابع مشابه
Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic
This paper presents a parameterized reasoning approach with uncertainty based on a lattice-valued logic system. In this uncertain reasoning approach, some parameters are used to represent uncertainty arising from different sources, which is a common phenomenon in rule-based systems. In our system, reasoning with different parameter values means reasoning with different levels of belief and cons...
متن کاملHybrid Logic and Uncertain Logic
Probabilistic logic and credibilistic logic are two branches of multi-valued logic for dealing with random knowledge and fuzzy knowledge, respectively. In this paper, a hybrid logic is introduced for dealing with random knowledge and fuzzy knowledge simultaneously. First, a hybrid formula is introduced on the basis of random proposition and fuzzy proposition. Furthermore, a hybrid truth value i...
متن کاملEnhancing Ontology Matching using Logic-based Reasoning
Ontologies, as formal representations of conceptualizations of domain knowledge, have proven to be very useful in real world applications like the Semantic Web. Given the increasing number of ontologies which are independently developed, but which represent overlapping domain knowledge, there is an urgent need to integrate them. Ontology matching meets this need by (semi-)automatically finding ...
متن کاملAbductive Inference using Array-Based Logic
The notion of abduction has found its usage within a wide variety of AI fields. Computing abductive solutions has, however, shown to be highly intractable in logic programming. To avoid this intractability we present a new approach to logicbased abduction; through the geometrical view of data employed in array-based logic we embrace abduction in a simple structural operation. We argue that a th...
متن کاملLogic-Based Abductive Inference
This paper surveys the work on abductive inference within the eld of artii-cial intelligence (AI), with particular attention to logic-based abduction. The paper commences with a formal description of three popular characterizations of abductive inference. This is followed by an examination of several speciic logic-based abductive frameworks, each of which applies syntactic restrictions to the f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Approximate Reasoning
سال: 2018
ISSN: 0888-613X
DOI: 10.1016/j.ijar.2017.12.006